ConvertImages-PlugIn

The ConvertImages-PlugIn converts a drawer of images keeping
all filenames. No special-effects can be applied.
This is for example useful if you have a drawer with lots of
jpeg-, tiff-, iff-, ... images and you want them all in png-format.

The file-tag can be specified using the "Extension"-gadget - if
this field is left blank the filenames are not changed.

The output-format is selected as usual in the Savers-Window of
the Processor.